Decision-driven Maintenance

ion. In Cobol, on the other hand, a selection must be made from Paragraph, Section and External Module because they are valid alternatives for implementing a functional component. The subset Inp represents input links between source software objects and decisions: Inp = { (s,d) | s ∈S ∧ d ∈D ∧ "s is input to d" } The subset Out represents output links between decisions and target software objects: Out = { (d,t) | d ∈D ∧ t ∈T ∧ "t is in output from d" }